#include <57header.h>

int main(int argc,char*argv[])
{

    printf("fork before \n");
    fork();
    printf("123 \n");

    return 0;
}

